1. Diagonalization and self-reference
المؤلف: Raymond M. Smullyan
المکتبة: (طهران)
موضوع: ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
2. First-order logic
المؤلف: Raymond M. Smullyan
المکتبة: (طهران)
موضوع: ، First-order logic
رده :
QA
9
.
S574
3. Godel's incompleteness theorems
المؤلف: Raymond M. Smullyan
المکتبة: (طهران)
موضوع: ، Godel's theorem
رده :
QA
9
.
65
.
S68G6
4. Les theoremes d'incompletude de Godel
المؤلف: Raymond M. Smullyan; traduit de l'americain par Maurice Margenstern
المکتبة: (طهران)
موضوع: ، Godel's theorem
رده :
QA
9
.
65
.
S68G613
5. Set theory and the continuum problem
المؤلف: Raymond M. Smullyan and Melvin Fitting
المکتبة: (طهران)
موضوع: ، Set theory,، Continuum hypothesis
رده :
QA
248
.
S6
6. Theory of formal systems /
المؤلف: R.M. Smullyan.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,SCIENCE-- System Theory.
رده :
QA248
.
5
7. To mock a mockingbird : and other logic puzzles including an amazing adventure in combinatory logic
المؤلف: by Raymond M. Smullyan
المکتبة: (طهران)
موضوع: ، Philosophical recreations,، Puzzles,، Logic
رده :
GV
1507
.
P43S68
1985
8. What is the name of this book? : the riddle of Dracula and other logical puzzles
المؤلف: Raymond M. Smullyan
المکتبة: (طهران)
موضوع: ، Logic puzzles
رده :
GV
1493
.
S68W45
